Skip to content

Add -v to packaged version string#2989

Merged
rv-jenkins merged 1 commit intodevelopfrom
fix-v-packaged
Oct 13, 2022
Merged

Add -v to packaged version string#2989
rv-jenkins merged 1 commit intodevelopfrom
fix-v-packaged

Conversation

@Baltoli
Copy link
Copy Markdown
Contributor

@Baltoli Baltoli commented Oct 13, 2022

This fixes the second complaint in #2915 (namely, that the packaged version string reported by the K tools doesn't have v in front of it).

@rv-jenkins rv-jenkins changed the base branch from master to develop October 13, 2022 13:55
Copy link
Copy Markdown
Contributor

@radumereuta radumereuta left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Right. Didn't notice that.

@rv-jenkins rv-jenkins merged commit f7a1623 into develop Oct 13, 2022
@rv-jenkins rv-jenkins deleted the fix-v-packaged branch October 13, 2022 15:03
radumereuta pushed a commit that referenced this pull request Nov 10, 2022
…2464)

* haskell-backend/src/main/native/haskell-backend: 055af82f0 - Disable kwasm regression tests due to wasm-semantics/#447 (#2986)

* haskell-backend/src/main/native/haskell-backend: fceeb0e8b - Remove anti-left pattern from internal representation of rules (#2989)

* haskell-backend/src/main/native/haskell-backend: ed00c9944 - Add note on LLVM 12 (#2988)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Small inconsistency between git and package install in format of reported version

3 participants